Gregor V Bochmann: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Object-oriented design for distributed systems: The OSI directory example

Gregor v. Bochmann, Stéphane Poirier, Pierre Mondain-Monval

Journal:

Computer Networks and ISDN Systems

Year:

1995

Language:

english

File:

PDF, 1.94 MB

english, 1995

2

Protocol specification for OSI

Gregor V Bochmann

Journal:

Computer Networks and ISDN Systems

Year:

1990

Language:

english

File:

PDF, 1.49 MB

english, 1990

3

CliqueStream: Creating an efficient and resilient transport overlay for peer-to-peer live streaming using a clustered DHT

Shah Asaduzzaman, Ying Qiao, Gregor v. Bochmann

Journal:

Peer-to-Peer Networking and Applications

Year:

2010

Language:

english

File:

PDF, 501 KB

english, 2010

4

Semantic evaluation from left to right

Bochmann, Gregor V.

Journal:

Communications of the ACM

Year:

1976

Language:

english

File:

PDF, 767 KB

english, 1976

5

A Model-Based Approach for Crawling Rich Internet Applications

Dincturk, Mustafa Emre, Jourdan, Guy-Vincent, Bochmann, Gregor V., Onut, Iosif Viorel

Journal:

ACM Transactions on the Web

Year:

2014

Language:

english

File:

PDF, 2.19 MB

english, 2014

6

[IEEE 2009 IEEE Symposium on Computers and Communications (ISCC) - Sousse, Tunisia (2009.07.5-2009.07.8)] 2009 IEEE Symposium on Computers and Communications - Deploying agile photonic networks over reconfigurable optical networks

Paredes, Sofia A., Bochmann, Gregor v., Hall, Trevor J.

Year:

2009

Language:

english

File:

PDF, 5.43 MB

english, 2009

7

Finite state description of communication protocols

Gregor V. Bochmann

Journal:

Computer Networks (1976)

Year:

1976

Language:

english

File:

PDF, 887 KB

english, 1976

8

Distributed synchronization and regularity

Gregor V Bochmann

Journal:

Computer Networks (1976)

Year:

1976

Language:

english

File:

PDF, 629 KB

english, 1976

9

Deriving protocol specifications from service specifications written as Predicate/Transition-nets

Hirozumi Yamaguchi, Khaled El-Fakih, Gregor v. Bochmann, Teruo Higashino

Journal:

Computer Networks

Year:

2007

Language:

english

File:

PDF, 1.37 MB

english, 2007

10

Some notes on the history of protocol engineering

Gregor v. Bochmann, Dave Rayner, Colin H. West

Journal:

Computer Networks

Year:

2010

Language:

english

File:

PDF, 281 KB

english, 2010

11

Forte '95

Gregor v. Bochmann, Rachida Dssouli, Omar Rafiq

Journal:

Computer Networks and ISDN Systems

Year:

1997

Language:

english

File:

PDF, 442 KB

english, 1997

12

A quality of service negotiation approach with future reservations (NAFUR): a detailed study

Abdelhakim Hafid, Gregor von Bochmann, Rachida Dssouli

Journal:

Computer Networks and ISDN Systems

Year:

1998

Language:

english

File:

PDF, 805 KB

english, 1998

13

Specifications of a simplified transport protocol using different formal description techniques

Gregor V Bochmann

Journal:

Computer Networks and ISDN Systems

Year:

1990

Language:

english

File:

PDF, 2.41 MB

english, 1990

14

[IEEE 2008 Eighth International Conference on Peer-to-Peer Computing (P2P) - Aachen, Germany (2008.09.8-2008.09.11)] 2008 Eighth International Conference on Peer-to-Peer Computing - CliqueStream: An Efficient and Fault-Resilient Live Streaming Network on a Clustered Peer-to-Peer Overlay

Asaduzzaman, Shah, Qiao, Ying, Bochmann, Gregor

Year:

2008

Language:

english

File:

PDF, 316 KB

english, 2008

15

[ACM Press the fifth symposium - Snowbird, Utah, United States (1977.09.27-1977.09.29)] Proceedings of the fifth symposium on Data communications - SIGCOMM '77 - Operating system design with computer network communication protocols

PROBST, Wilfried G., BOCHMANN, Gregor V.

Year:

1977

Language:

english

File:

PDF, 763 KB

english, 1977

16

Corrigendum: “A Sampler of Formal Definitions”

Marcotty, Michael, and Gregor V. Bochmann, Henry Ledgard

Journal:

ACM Computing Surveys

Year:

1977

Language:

english

File:

PDF, 239 KB

english, 1977

17

A Sampler of Formal Definitions

Marcotty, Michael, Ledgard, Henry, Bochmann, Gregor V.

Journal:

ACM Computing Surveys

Year:

1976

Language:

english

File:

PDF, 4.35 MB

english, 1976

18

A computation method for scenario studies in WDM network planning

Hu Li, Bo, Yiming Zhang, James, Wu, Jing, v. Bochmann, Gregor, Savoie, Michel

Journal:

COMPEL Int J for Computation and Maths in Electrical and Electronic Eng

Year:

2009

Language:

english

File:

PDF, 175 KB

english, 2009

19

Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers

El-Fakih, Khaled, Bochmann, Gregor von

Journal:

IEEE Transactions on Software Engineering

Year:

2018

Language:

english

File:

PDF, 1.67 MB

english, 2018

20

Customer-managed end-to-end lightpath provisioning

Jing Wu, Michel Savoie, Scott Campbell, Hanxi Zhang, Gregor v. Bochmann, Bill St. Arnaud

Journal:

International Journal of Network Management

Year:

2005

Language:

english

File:

PDF, 294 KB

english, 2005

21

Failure-equivalent transformation of transition systems to avoid internal actions

Gang Luo, Gregor v. Bochmann, Anindya Das, Cheng Wu

Journal:

Information Processing Letters

Year:

1992

Language:

english

File:

PDF, 914 KB

english, 1992

22

An approach to testing specifications

Claude Jard, Gregor v. Bochmann

Journal:

Journal of Systems and Software

Year:

1983

Language:

english

File:

PDF, 983 KB

english, 1983

23

High-level design for user and component interfaces

Gregor v. Bochmann

Journal:

Knowledge-Based Systems

Year:

2004

Language:

english

File:

PDF, 174 KB

english, 2004

24

Grade-of-service differentiated static resource allocation schemes in WDM networks

James Yiming Zhang, Jing Wu, Gregor v. Bochmann, Michel Savoie

Journal:

Optical Switching and Networking

Year:

2008

Language:

english

File:

PDF, 1.13 MB

english, 2008

25

Progressive solutions to a parallel automata equation

Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor v. Bochmann

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 373 KB

english, 2006

26

Testing in context: framework and test derivation

Alexandre Petrenko, Nina Yevtushenko, Gregor v. Bochmann, Rachida Dssouli

Journal:

Computer Communications

Year:

1996

Language:

english

File:

PDF, 1.77 MB

english, 1996

27

The equivalence in the DCP model

Reine Fournier, Gregor von Bochmann

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 772 KB

english, 1991

28

Semantic equivalence of covering attribute grammars

Gregor V. Bochmann

Journal:

International Journal of Parallel Programming

Year:

1979

Language:

english

File:

PDF, 785 KB

english, 1979

29

Introduction

David K. Probst, Gregor v. Bochmann

Journal:

Formal Methods in System Design

Year:

1995

Language:

english

File:

PDF, 192 KB

english, 1995

30

Merging behavior specifications

Ferhat Khendek, Gregor V. Bochmann

Journal:

Formal Methods in System Design

Year:

1995

Language:

english

File:

PDF, 1.94 MB

english, 1995

31

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets

Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino

Journal:

Distributed Computing

Year:

2003

Language:

english

File:

PDF, 295 KB

english, 2003

32

Deriving protocol specifications from service specifications written in LOTOS

Christian Kant, Teruo Higashino, Gregor von Bochmann

Journal:

Distributed Computing

Year:

1996

Language:

english

File:

PDF, 524 KB

english, 1996

33

Quality-of-service adaptation in distributed multimedia applications

Abdelhakim Hafid, Gregor v. Bochmann

Journal:

Multimedia Systems

Year:

1998

Language:

english

File:

PDF, 358 KB

english, 1998

34

Forward-Looking WDM Network Reconfiguration with Per-Link Congestion Control

Jing Wu, James Zhang, Gregor von Bochmann, Michel Savoie

Journal:

Journal of Network and Systems Management

Year:

2012

Language:

english

File:

PDF, 964 KB

english, 2012

35

Method of analysing extended finite-state machine specifications

Behçet Sarikaya, Vassilios Koukoulidis, Gregor V Bochmann

Journal:

Computer Communications

Year:

1990

Language:

english

File:

PDF, 921 KB

english, 1990

36

Standards issues in data communications

Gregor V. Bochmann

Journal:

Telecommunications Policy

Year:

1977

Language:

english

File:

PDF, 849 KB

english, 1977

37

Petri net-based protocol synthesis with minimum communication costs

Khaled El-Fakih, Hirozumi Yamaguchi, Gregor v. Bochmann, Teruo Higashino

Journal:

Journal of the Franklin Institute

Year:

2006

Language:

english

File:

PDF, 333 KB

english, 2006

38

An Approach to Quality of Service Management in Distributed Multimedia Application: Design and an Implementation

Abdelhakim Hafid, Gregor v. Bochmann

Journal:

Multimedia Tools and Applications

Year:

1999

Language:

english

File:

PDF, 370 KB

english, 1999

39

A formal method for synthesizing optimized protocol converters and its application to mobile data networks

Zhongping Tao, Gregor v. Bochmann, Rachida Dssouli

Journal:

Mobile Networks and Applications

Year:

1997

Language:

english

File:

PDF, 593 KB

english, 1997

40

Load balancing in peer-to-peer systems using a diffusive approach

Ying Qiao, Gregor v. Bochmann

Journal:

Year:

2012

Language:

english

File:

PDF, 909 KB

english, 2012

41

Comments on monitor definition and implementation

Gregor V. Bochmann

Journal:

Information Processing Letters

Year:

1976

Language:

english

File:

PDF, 366 KB

english, 1976

42

Semi-automatic implementation of transport and session protocols

Gregor von Bochmann

Journal:

Computer Standards & Interfaces

Year:

1986

Language:

english

File:

PDF, 588 KB

english, 1986

43

Test generation with respect to distributed interfaces

Gang Luo, Rachida Dssouli, Gregor v Bochmann, Pallapa Venkataram, Abderrazak Ghedamsi

Journal:

Computer Standards & Interfaces

Year:

1994

Language:

english

File:

PDF, 1.00 MB

english, 1994

44

[IEEE 2009 15th International Conference on Parallel and Distributed Systems - Shenzhen, China (2009.12.8-2009.12.11)] 2009 15th International Conference on Parallel and Distributed Systems - A Diffusive Load Balancing Scheme for Clustered Peer-to-Peer Systems

Qiao, Ying, Bochmann, Gregor v.

Year:

2009

Language:

english

File:

PDF, 264 KB

english, 2009

45

Corrections to "Lightpath (Wavelength) Routing in Large WDM Networks" and "Dynamic Routing and Assignment of Wavelength Algorithms in Multifiber Wavelength Division Multiplexing Networks"

Yu, Shen, Wu, Jing, Zhang, James Yiming, von Bochmann, Gregor

Journal:

IEEE Journal on Selected Areas in Communications

Year:

2010

Language:

english

File:

PDF, 116 KB

english, 2010

46

[Lecture Notes in Computer Science] Computer Aided Verification Volume 663 || Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits

Bochmann, Gregor, Probst, David Karl

Year:

1993

Language:

english

File:

PDF, 564 KB

english, 1993

47

[IEEE 2006 IEEE Sarnoff Symposium - Princeton, NJ (2006.03.27-2006.03.28)] 2006 IEEE Sarnoff Symposium - Load Balancing in All-Optical Overlaid-Star TDM Networks

Zheng, Jun, Peng, Cheng, Bochmann, Gregor v., Hall, Trevor J.

Year:

2006

Language:

english

File:

PDF, 1.11 MB

english, 2006

48

On the realizability of collaborative services

Castejón, Humberto Nicolás, Bochmann, Gregor, Bræk, Rolv

Journal:

Software & Systems Modeling

Year:

2013

Language:

english

File:

PDF, 629 KB

english, 2013

49

Using logic to solve the submodule construction problem

Bochmann, Gregor v.

Journal:

Discrete Event Dynamic Systems

Year:

2013

Language:

english

File:

PDF, 617 KB

english, 2013

50

A proof of wavelength conversion not improving Lagrangian bounds of the sliding scheduled RWA problem

Zhang, James Yiming, Wu, Jing, Bochmann, Gregor v.

Journal:

Computer Communications

Year:

2013

Language:

english

File:

PDF, 222 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски